Buy Used and New Cliff Jones Books

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings: 252 (Lecture Notes in Computer Science)

by Cliff Jones,Dines Bjorner,Erich J. Neuhold,Michael Mac An Airchinnigh

ISBN 13: 9783540176541

Format: Paperback (436 pages)
Publisher: Springer
Published: 11 Mar 1987

Save for later

Water Runs Slow Through Flat Land

by Cliff Jones

ISBN 13: 9781507852569

Format: Paperback (292 pages)
Publisher: CreateSpace Independent Publishing Platform
Published: 04 Feb 2015

Save for later

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (Lecture Notes in Computer Science)

by Cliff Jones, Pekka Pihlajasaari, Jun Sun

ISBN 13: 9783319064093

Format: Paperback (772 pages)
Publisher: Springer
Published: 09 Apr 2014

Save for later

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday: 11180 (Lecture Notes in Computer Science)

by Cliff Jones,Ji Wang,Naijun Zhan

ISBN 13: 9783030014605

Format: Paperback (276 pages)
Publisher: Springer
Published: 29 Sep 2018

Save for later

Norvis

by Cliff Jones

ISBN 13: 9781483672267

Format: Paperback (64 pages)
Publisher: XLIBRIS
Published: 09 Aug 2013

Save for later